<?php
	session_start(); 
	if (empty($_SESSION['usuario'])){
		session_destroy();
		header("Location:index.php");
	}
	else{
		$tipo=$_GET["tipo"];
		$usuario=$_GET["usuario"];
		$isbn=$_GET["isbn"];
	}
?>
<html>
	<head></head>
	<body>
		<?php
			include("sql.php");
			baja_libros ($isbn);
			echo "<br><br>";
			echo "<h2 align=center>Eliminaci&oacute;n correcta</h2>";
			echo "<div align='center'>";
				echo "<form action=\"listarlibros.php?tipo=$tipo&usuario=$usuario\" method=\"post\">";
					echo "<input type='submit' value='Volver al listado' class='boton'>";
				echo "</form>";
			echo "</div>";
		?>
	</body>
</html>